IMPLICIT ANALYSIS